Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
861	Microsoft Word - SBREP.doc Add to Reading List Source URL: www.pices.int Language: English - Date: 2005-01-10 14:35:33 Biology Working group ALGOL 68 Software engineering North Pacific Marine Science Organization Global Ocean Ecosystem Dynamics Oceanography Programming language theory
862	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
863	x1 TEX82 PART 1: INTRODUCTION Add to Reading List Source URL: ftp.rrze.uni-erlangen.de Language: English - Date: 2013-04-29 08:49:49 Programming language theory TeX ALGOL 68 Dc MAD ASCII Control character String Device independent file format Computing Procedural programming languages Software engineering
864	Commentary on Standard ML Robin Milner Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh Edinburgh EH9 3JZ, Scotland Add to Reading List Source URL: www.itu.dk Language: English - Date: 2002-10-12 10:57:16 Functional languages Procedural programming languages Meaning Philosophical logic Type theory ML Programming language Semantics Soundness Logic Programming language theory Software engineering
865	A Theory of Hygienic Macros David Herman and Mitchell Wand College of Computer and Information Science Northeastern University Boston, MA 02115 {dherman,wand}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2007-10-15 14:26:08 Transformation languages Macro programming languages Dylan programming language Hygienic macro Meta-programming Scheme programming language Macro Lambda calculus Model theory Computing Software engineering Computer programming
866	Array Regions for Interprocedural Parallelization and Array Privatization Beatrice Creusillet Centre de Recherche en Informatique E cole des mines de Paris Internal Report A/279/CRI Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2008-04-10 10:31:05 Software engineering Automatic parallelization Control flow Rope Dependence analysis Q Compiler optimizations Programming language theory Computing
867	Non-Strict Independence-Based Program Parallelization Using Sharing and Freeness Information Daniel Cabeza Gras 1 and Manuel V. Hermenegildo 1,2 Abstract Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-02-12 19:18:43 Compiler optimizations Automatic parallelization Parallel computing Prolog Unification Compiler Abstract interpretation Computing Software engineering Programming language theory
868	Formal analysis and implementation of the Faust programming language Report of first PhD year Imré Frotier de la Messelière1 PhD advisor: Pierre Jouvelot1 PhD co-advisor: Jean-Pierre Talpin2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:00:24 Type theory Formal methods Type systems Constraint programming Satisfiability Modulo Theories Type inference Logic programming Hindley–Milner Algorithm Mathematics Theoretical computer science Applied mathematics
869	Using R - MeasureCamp Training Richard Fergie — E-Analytica — @richardfergie Afternoon Training Session Contents 1 Introduction and Scope Add to Reading List Source URL: www.eanalytica.com Language: English - Date: 2015-05-15 02:00:27 Functional languages Procedural programming languages Data types ALGOL 68 Ggplot2 R NIL List Ensemble Kalman filter Computing Software engineering Programming language theory
870	DESCRIPTION 826CHI is looking for a year-long intern to support the organization’s publications efforts. The ideal candidate is someone with a strong interest in student writing, design, and project coordination. The i Add to Reading List Source URL: www.826chi.org Language: English Programming language theory Adobe InDesign Graphic design Skill Chapbook ALGOL 68 826 National Software Computing

UPDATE